#!/bin/sh
RTMTMPDIR=/usr/local/src/OpenRTM
RTCTOOLSTMPDIR=/usr/local/src/rtctools

sudo rm -rf ${RTMTMPDIR}
sudo rm -rf ${RTCTOOLSTMPDIR}
sudo rm -f ${HOME}/.bashrc.rtm
